Can addresses be types? (A case study: objects with delegation)
نویسندگان
چکیده
We adapt the aliasing constraints approach for designing a flexible typing of evolving objects. Types are singleton types (addresses of objects, as a matter of fact) whose relevance is mainly due to the sort of safety property they guarantee. In particular we provide a type system for an imperative object based calculus with delegation and which supports method and delegate overriding, addition, and removing.
منابع مشابه
Alias and Union Types for Delegation
We adapt the aliasing constraints approach for designing a flexible typing of evolving objects. Types are singleton types (addresses of objects, as a matter of fact) or finite “unions” of these. Their relevance is mainly due to the sort of safety property they guarantee. In particular we provide a type system for an imperative object based calculus with delegation and conditional expressions an...
متن کاملFrom Tree-Based Generators to Delegation Networks
The first part of this paper is a brief survey on tree-based generators, including some typical examples taken from the fields of string, tree, graph, and picture generation. In the second part, an extension of the tree-based generator called delegation network is proposed. Intuitively, a delegation network is a network of tree-based generators that can “delegate” subtasks to each other. In thi...
متن کاملHybrid method for full identification of buried objects and surrounding media
This study describes a hybrid technique for identification of buried objects. The objects shape and electromagnetic profile are reconstructed from evaluations of electrical permittivity and conductivity. The method suggests a combination of linear sampling and optimization. Linear sampling method (LSM) is used to recover shape and metaheuristic optimizations essential to reconstruct the inside...
متن کاملDelegation of Obligations
Obligation policies are one main means of exercising control within an organisation. They specify the actions that some subject has to perform. The authority over these actions needs to be specified in authorisation policies. Current policy notations provide us with the needed structure to represent authorisations and obligations as policy objects for distributed systems management. They suppor...
متن کاملDelegation of Control in Administrative Procedures
Norms are implemented by administrative procedures. This paper addresses the delegation of control in administrative procedures. Instead of having to check all details, a controlling actor can trust the data provided by other actors, provided they can demonstrate to be ‘in control’. In this paper we provide a conceptual analysis of situations in which control has been delegated. The approach is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 82 شماره
صفحات -
تاریخ انتشار 2003